@Talk{name, author = {D. Lucanu}, title = {CIRC prover: an overview}, year = {2011}, institution = {Second Romanian-Japanese Algebraic Specification Workshop}, url = {http://www.imar.ro/~diacon/sinaiaWorkshop2011/poster.html [RJ2]} }