1. Hyper-tableaux;Baumgartner,1996
2. A method for building models automatically. E xperiments with an extension of Otter;Bourely,1994
3. An optimality result for clause form translation;Boy de la Tour;J. Symb. Comput.,1992
4. Minimal model generation with positive unit hyper-resolution tableaux;Bry,1996
5. A new technique for verifying and correcting logic programs;Caferra;J. Autom. Reasoning,1997