%0 Conference Paper %1 conf/lpar/KavanaghMTMZG06 %A Kavanagh, Jonathan %A Mitchell, David G. %A Ternovska, Eugenia %A Manuch, Ján %A Zhao, Xiaohong %A Gupta, Arvind %B LPAR %D 2006 %E Hermann, Miki %E Voronkov, Andrei %I Springer %K dblp %P 452-466 %T Constructing Camin-Sokal Phylogenies Via Answer Set Programming. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2006.html#KavanaghMTMZG06 %V 4246 %@ 3-540-48281-4

@inproceedings{conf/lpar/KavanaghMTMZG06, added-at = {2017-05-23T00:00:00.000+0200}, author = {Kavanagh, Jonathan and Mitchell, David G. and Ternovska, Eugenia and Manuch, Ján and Zhao, Xiaohong and Gupta, Arvind}, biburl = {https://www.bibsonomy.org/bibtex/2e9f27f46502f90daeb44899561de0e26/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2006}, editor = {Hermann, Miki and Voronkov, Andrei}, ee = {https://doi.org/10.1007/11916277_31}, interhash = {01d770b03f20591d9b8ec0c044fa07e2}, intrahash = {e9f27f46502f90daeb44899561de0e26}, isbn = {3-540-48281-4}, keywords = {dblp}, pages = {452-466}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:21:54.000+0200}, title = {Constructing Camin-Sokal Phylogenies Via Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2006.html#KavanaghMTMZG06}, volume = 4246, year = 2006 }