%0 Conference Paper %1 conf/lpar/HibtiLL93 %A Hibti, Mohamed %A Lombardi, Henri %A Legeard, Bruno %B LPAR %D 1993 %E Voronkov, Andrei %I Springer %K dblp %P 170-181 %T Deciding in HFS-Theory via Linear Integer Programming. %U http://dblp.uni-trier.de/db/conf/lpar/lpar93.html#HibtiLL93 %V 698 %@ 3-540-56944-8

@inproceedings{conf/lpar/HibtiLL93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Hibti, Mohamed and Lombardi, Henri and Legeard, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/23fea906f2e6e098b4b575fde3057ddf1/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/1993}, editor = {Voronkov, Andrei}, ee = {https://doi.org/10.1007/3-540-56944-8_51}, interhash = {ebaffafd2229370ceddb917571af6c2f}, intrahash = {3fea906f2e6e098b4b575fde3057ddf1}, isbn = {3-540-56944-8}, keywords = {dblp}, pages = {170-181}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:21:27.000+0200}, title = {Deciding in HFS-Theory via Linear Integer Programming.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar93.html#HibtiLL93}, volume = 698, year = 1993 }