Eisinger, Norbert Programming Logics, MPI for Informatics, Max Planck Society;
Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-91-217.pdf (Any fulltext), 871KB
Eisinger, N., & Ohlbach, H. J.(1991). Deduction systems based on resolution (MPI-I-91-217). Saarbrücken: Max-Planck-Institut für Informatik.