@conference {DBLP:conf/plilp/BrogiMPT90, title = {Logic Programming within a Functional Framework}, booktitle = {PLILP}, year = {1990}, pages = {372-386}, author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini} }