Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Ohlbach, H. J. (1996). SCAN-Elimination of Predicate Quantifiers. In M. A. McRobbie, & J. K. Slaney (Eds.), Proceedings of the 13th International Conference on Automated Deduction (CADE-13) (pp. 161-165). Berlin, Germany: Springer.