Automated Reasoning with Analytic Tableaux and Related Methods - Olivetti, Nicola; Siekmann, Jörg (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Artificial Intelligence