APA (7th ed.) Citation

(1985). An algebraic manipulation system using meta-level inference based on human heuristics.

Chicago Style (17th ed.) Citation

An Algebraic Manipulation System Using Meta-level Inference Based on Human Heuristics. Tokyo, Japan, 1985.

MLA (9th ed.) Citation

An Algebraic Manipulation System Using Meta-level Inference Based on Human Heuristics. 1985.

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