## David Pearce, Inman P. de Guzmán, Agustín Valverde

*Computing Equilibrium Models Using Signed Formulas*

ICLP, 2000.

@inproceedings{CL-2000-PearceGV, author = "David Pearce and Inman P. de Guzmán and Agustín Valverde", booktitle = "{Proceedings of the First International Conference on Computational Logic}", doi = "10.1007/3-540-44957-4_46", isbn = "3-540-67797-6", pages = "688--702", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Computing Equilibrium Models Using Signed Formulas}", volume = 1861, year = 2000, }