Automated reasoning: Introduction and applicatios - Was Larry; Lusk Ewing; Over Beek Ross (New Jersey Pentice Hall, 1984)
Keywords: Computer science