The user's guide to the BACK system (1987)

by Christof Peltason, Kai von Luck, Bernhard Nebel, Albrecht Schmiedel
Venue:KIT-Report 42, Fachbereich Informatik, Technische Universitat