Automated practical reasoning : algebraic approaches - Pfalzgraf, Jochen; Wang, Dongming (Wien : Springer-Verlag, 1995)
Includes index
Keywords: Automatic theorem proving; Practical reason; Reasoning