Stickel, M. E. (1991). Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction.
Chicago-Zitierstil (17. Ausg.)Stickel, Mark E. Upside-down Meta-interpretation of the Model Elimination Theorem-proving Procedure for Deduction and Abduction. Tokyo, Japan, 1991.
MLA-Zitierstil (9. Ausg.)Stickel, Mark E. Upside-down Meta-interpretation of the Model Elimination Theorem-proving Procedure for Deduction and Abduction. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.