Syntactic Reduction of Predicate Tableaux to Propositional Tableaux (1995)

Cached

Download Links

by Ján Komara , Paul J. Voda
Venue:Lecture Notes in Artificial Intelligence