Bibtex:LM08

BibTex

<bibtex> @inproceedings{DBLP:conf/ppdp/LucasM08,

 author    = {S. Lucas and
              J. Meseguer},
 title     = {Order-sorted dependency pairs},
 booktitle = {Proceedings of the 10th International ACM SIGPLAN Conference
              on Principles and Practice of Declarative Programming, PPDP'08},
 year      = {2008},
 pages     = {108-119},

address= {Valencia, Spain},

 editor    = {Sergio Antoy and Elvira Albert}

}

</bibtex>