Forward logic evaluation developing a compiler from a partially evaluated meta interpreter - Hinkelmann, Knut ca. 20./21. Jh (Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern>: Technical memo, 1991)