@inproceedings{DBLP:conf/icci/NgB93,
author = {Frank Ng and
Gregory Butler},
title = {Specialised Theorem-Proving in an Intelligent Tutoring System
for the Dijkstra-Gries Programming Methodology},
booktitle = {ICCI},
year = {1993},
pages = {294-298},
crossref = {DBLP:conf/icci/1993},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icci/1993,
editor = {Osman Abou-Rabia and
Carl K. Chang and
Waldemar W. Koczkodaj},
title = {Computing and Information - ICCI'93, Fifth International
Conference on Computing and Information, Sudbury, Ontario,
Canada, May 27-29, 1993, Proceedings},
booktitle = {ICCI},
publisher = {IEEE Computer Society},
year = {1993},
isbn = {0-8186-4212-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}