1. Theorem proving via general matings;Andrews;J. Assoc. Comput. Mach.,1981
2. Eine Methode zur automatischen Problemreduktion;Baaz,1985
3. Die Anwendung starker Reduktionsregeln in automatischen Beweisen;Baaz;Proc. Austrian Acad. Sci. II,1985
4. Strong splitting rules in automated theorem proving;Baaz,1989
5. A strong reduction method based on function introduction;Baaz,1990