"Tutorial on Compilation techniques for Logics."

Hans Jürgen Ohlbach, Andreas Herzig (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics