@misc {IOPORT.70692659,
    author       = {Krapez, Aleksandar and Kapetanovic, Miodrag and Ognjanovic, Zoran and Petrovic, Tatjana},
    title        = {Prover 91 - A parallel theorem prover (Extended abstract)},
    howpublished = {TABLEAUX, 43-45 (1992).},
    year         = {1992},
    identifier   = {70692659},
}