BibTeX Export

@inproceedings{Authenticus:P-008-M08,
	title = {{From elliott-macmahon to an algorithm for general linear constraints on naturals}},
	author = {E Domenjoud and AP Tomàs},
	booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	doi = {10.1007/3-540-60299-2_2},
	pages = {18-35},
	publisher = {Springer Verlag},
	type = {Proceedings Paper},
	volume = {976},
	year = {1995}
}