Swart,Harrie de Automated reasoning with analytic tableaux and related methods / Swart,Harrie de. - International confer - Berlin: Springer, 1998. - x,324p;26cm - Lecture notes in artificial intelligence,No-1397 . Includes bibliographical references. ISBN: 3540644067 Dewey Class. No.: 006.3 SWA