Wójcik, M. (1987). Metody automatycznego wnioskowania w logikach niemonotonicznych: Przykłady implementacji.
Chicago-Zitierstil (17. Ausg.)Wójcik, Marek. Metody Automatycznego Wnioskowania W Logikach Niemonotonicznych: Przykłady Implementacji. Warsaw, 1987.
MLA-Zitierstil (9. Ausg.)Wójcik, Marek. Metody Automatycznego Wnioskowania W Logikach Niemonotonicznych: Przykłady Implementacji. 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.