pdfformat: 

@InProceedings{kimura_et_al:LIPIcs:2012:3436, author = {Kei Kimura and Kazuhisa Makino}, title = {{Trichotomy for Integer Linear Systems Based on Their Sign Patterns}}, booktitle = {29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012)}, pages = {613623}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897354}, ISSN = {18688969}, year = {2012}, volume = {14}, editor = {Christoph D{\"u}rr and Thomas Wilke}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3436}, URN = {urn:nbn:de:0030drops34367}, doi = {http://dx.doi.org/10.4230/LIPIcs.STACS.2012.613}, annote = {Keywords: Integer linear system, Sign pattern, Complexity index, TVPI system, Horn system} }
Keywords:  Integer linear system, Sign pattern, Complexity index, TVPI system, Horn system  
Seminar:  29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012)  
Issue date:  2012  
Date of publication:  2012 