APA (7th ed.) Citation

Stickel, M. E. (1991). Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction.

Chicago Style (17th ed.) Citation

Stickel, Mark E. Upside-down Meta-interpretation of the Model Elimination Theorem-proving Procedure for Deduction and Abduction. Tokyo, Japan, 1991.

MLA (9th ed.) Citation

Stickel, Mark E. Upside-down Meta-interpretation of the Model Elimination Theorem-proving Procedure for Deduction and Abduction. 1991.

Warning: These citations may not always be 100% accurate.