| 1973-009 | Erik Sandewall: Conversion of predicate-calculus axioms, viewed as non-deterministic programs, to corresponding deterministic programs. Proceedings of International Joint Conference on Artificial Intelligence, 1973, pages 230-234.
|
| 1973-003 | Erik Sandewall: Deductive Search in a Semantic Net. Proceedings of Symposium 'Organismic Information Processing', 1973, pages 512-525.
|
| 1973-001 | Erik Sandewall: Some examples of disambiguation through deduction. Departmental report, Datalogilaboratoriet, Department of Computer Science, Uppsala University, number 73/27.
|