by Stojanović-Đurđević, Sana, Urošević, Andrija, Marić, Filip
Published in Journal of Educational Studies in Mathematics and Computer Science (2024)

by Felty, Amy, Momigliano, Alberto
Published in Journal of automated reasoning (01.01.2012)

by Stojanović-Ðurđević, Sana
Published in Annals of mathematics and artificial intelligence (01.04.2019)

by Ciaffaglione, Alberto, Liquori, Luigi, Miculan, Marino
Published in Journal of automated reasoning (01.07.2007)

by Nikolic, Mladen, Marinkovic, Vesna, Kovaacs, Zoltan, Janicic, Predrag
Published in Annals of mathematics and artificial intelligence (01.04.2019)

by ALTENKIRCH, THORSTEN, MCBRIDE, CONOR
Published in Mathematical structures in computer science (01.01.2016)

by Desmartin, Remi, Isac, Omri, Passmore, Grant, Komendantskaya, Ekaterina, Stark, Kathrin, Katz, Guy
Year of Publication 24.06.2025

by Wu, Chunhan, Zhang, Xingyuan, Urban, Christian
Published in Interactive Theorem Proving (2011)