BibTeX Export
@inproceedings{Authenticus:P-001-R3A, title = {{A New Method For Solving Linear Constraints on the Natural-numbers}}, author = {AP TOMAS and M FILGUEIRAS}, booktitle = {Epia 91}, doi = {10.1007/3-540-54535-2_23}, pages = {30-44}, publisher = {Springer-verlag Berlin}, type = {Proceedings Paper}, volume = {541}, year = {1991} }