(1)
Schmolze, J.; Brachman, R. J. Second KL-One Workshop. AIMag 1982, 3, 15.