UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Wysotzki, F. ; Schmid, Ute ; Heymann, E.:
Modellierung räumlicher Inferenzen durch Graphen mit symbolischen und numerischen Constraints .
Berlin : TU Berlin. 1995. - Interner Bericht (Forschungsbericht des Fachbereichs Informatik der Technischen Universität Berlin, Bd. 95-26)
UnivIS ist ein Produkt der Config eG, Buckenhof