APA (7th ed.) Citation

Ross, B. J., & Wilk, P. F. (1990). A semantic approach to proving Prolog transformations using cut.

Chicago Style (17th ed.) Citation

Ross, Brian J., and Paul F. Wilk. A Semantic Approach to Proving Prolog Transformations Using Cut. Edinburgh, 1990.

MLA (9th ed.) Citation

Ross, Brian J., and Paul F. Wilk. A Semantic Approach to Proving Prolog Transformations Using Cut. 1990.