70692659

a

70692659 Krapez, Aleksandar Kapetanovic, Miodrag Ognjanovic, Zoran Petrovic, Tatjana Prover 91 - A parallel theorem prover (Extended abstract) TABLEAUX, 43-45 (1992). 1992 EN