Jonas Barklund Håkan Millroth Integrating Complex Data Structures in Prolog. 415-425 1987 SLP db/conf/slp/slp87.html#BarklundM87