J. Stuart Aitken. Problem Solving in Interactive Proof: A Knowledge-Modelling Approach. In Wolfgang Wahlster, editor, 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings. pages 335-339, John Wiley and Sons, Chichester, 1996.
@inproceedings{Aitken96:0,
title = {Problem Solving in Interactive Proof: A Knowledge-Modelling Approach},
author = {J. Stuart Aitken},
year = {1996},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/Aitken96%3A0},
cites = {0},
citedby = {0},
pages = {335-339},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings},
editor = {Wolfgang Wahlster},
publisher = {John Wiley and Sons, Chichester},
}