@inproceedings{AAV00,
 author = "Mar\'{\i }a Alpuente and Moreno Falaschi and Gin\'es Moreno and
           Germ\'an Vidal",
 title = "An {A}utomatic {C}omposition {A}lgorithm for {F}unctional {L}ogic
          {P}rograms",
 bootitle = "Proc.\ of the 27th Annual Conference on Current Trends in 
	     Theory and Practice of Informatics, SOFSEM'2000",
 editor = "V. Hlav\'a\v{c} and K.~G. Jeffery and J. Wiedermann",
 pages = "289-297",
 publisher = "Springer LNCS 1963",
 year = 2000
}