Logic Programming in RPL and RQL. - Peter Vojtás; Leonard Paulík (SOFSEM, 1995)

Soundness and Completeness of Non-classical SLD-Resolution. - Peter Vojtás; Leonard Paulík (ELP, 1996)