@INPROCEEDINGS{Ohlbach96,
AUTHOR = {Ohlbach, H. J.},
YEAR = {1996},
TITLE = {{\sc SCAN}---Elimination of Predicate Quantifiers},
EDITOR = {McRobbie, M. A. and Slaney, J. K.}, 
BOOKTITLE = {Automated Deduction: CADE-13},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {1104},
PUBLISHER = {Springer},
PAGES = {161--165},
}