SASLOG eine funktional-logische Sprachintegration mit Lazy Evaluation und semantischer Unifikation - Hinkelmann, Knut ca. 20./21. Jh (SEKI working paper, 1988)