@InProceedings{peres-cmsb2014,
  author = 	 {Peres, S. and Morterol, M. and Simon, L.},
  title = 	 {SAT-Based Metabolics Pathways Analysis without Compilation},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Lecture Note in Bioinformatics},
  pages = 	 {20--31},
  year = 	 {2014},
  editor = 	 {P. Mendes , J.O. Dada and K. Smallbone},
  volume = 	 {8859},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer International Publishing},
  OPTnote = 	 {},
  OPTannote = 	 {}
}