@misc {TN_libero_mab2,
author
=
{
Grigore Rosu
}
,
title
=
{
Matching Logic
}
,
isbn
=
{
1860-5974
}
,
year
=
{
2017
}
,
}
Download citation