Efficient Decision Procedures for Locally Finite Theories II.

Volker Weispfenning

Browse the full ISSAC paper archive.