BibTeX Export

@article{Authenticus:P-001-R6H,
	title = {{A New Method For Solving Linear Constraints on the Natural-numbers}},
	author = {AP TOMAS and M FILGUEIRAS},
	journal = {Lecture Notes in Artificial Intelligence},
	pages = {30-44},
	publisher = {Springer Verlag},
	type = {Article},
	volume = {541},
	year = {1991}
}