Computer science logic 5th workshop, CSL '91, Berne, Switzerland, October 7 - 11, 1991 ; proceedings (Springer, 1992)
Literaturangaben