TY  - JOUR
A1  - Faßbender, Heinz
T1  - A verified implementation of narrowing
T2  - Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)
Y1  - 1995
UR  - https://opus.bibliothek.fh-aachen.de/opus4/frontdoor/index/index/docId/3700
SN  - 3-540-60359-X
N1  - (Lecture notes in computer science ; 982)
SP  - 63
EP  - 80
PB  - Springer
CY  - Berlin [u.a.]
ER  -