Use of PROLOG as an implementation tool for FDT lotos. - Romi J. Barjaktarevic; Jan Roos; Robert Verkroost (ICCC, 1988)