Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Eisinger, N., Ohlbach, H. J., & Präcklein, A. (1991). Reduction Rules for Resolution-based Systems. Artificial Intelligence, 50(2), 141-181. doi:10.1016/0004-3702(91)90098-5.