CITATION STYLE
Denzinger, J., & Müller, J. (1989). Eqtheopogles A Completion Theorem Prover for PL1EQ (pp. 92–101). https://doi.org/10.1007/978-3-642-75100-4_11
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley