Horbach, Matthias Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
decIndQueries_TR.pdf (beliebiger Volltext), 391KB
Horbach, M., & Weidenbach, C.(2009). Deciding the Inductive Validity of Forall Exists* Queries (MPI-I-2009-RG1-001).