Horbach, Matthias Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Horbach, M., & Weidenbach, C. (2009). Deciding the Inductive Validity of FOR ALL THERE EXISTS * Queries. In CSL (pp. 332-347). Heidelberg: Springer.