Enhancing the Power of a Decidable First-Order Reasoner.

Gerhard Lakemeyer, Susanne Meyer

Browse the full KR paper archive.