BibTeX Export

@inproceedings{Authenticus:P-008-KZV,
	title = {{Resolution of Constraints in Algebras of Rational Trees}},
	author = {L Damas and N Moreira and S Broda},
	booktitle = {Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings},
	doi = {10.1007/3-540-57287-2_38},
	pages = {61-76},
	publisher = {Springer},
	type = {Proceedings Paper},
	volume = {727},
	year = {1993}
}