updated one bibtex entry

mgebser · mgebser · commit c59e0c7b6154 · 2010-10-20T09:04:55.000Z
diff --git a/guide.bib b/guide.bib
@@ -87,10 +87,13 @@ @Article{biere08a
 }
 
 @Book{bihemawa08a,
-  editor =	 "A. Biere and M. Heule and H. {van Maaren} and T. Walsh",
+  author =	 "A. Biere and M. Heule and H. {van Maaren} and T. Walsh",
   title =	 "Handbook of Satisfiability",
+  booktitle =	 "Handbook of Satisfiability",
   publisher =	 ios,
-  note =	 "To appear"
+  year =	 2009,
+  volume =	 185,
+  series =	 "Frontiers in Artificial Intelligence and Applications"
 }
 
 @Article{daeigovo01a,

Original file line number	Diff line number	Diff line change
`@@ -87,10 +87,13 @@ @Article{biere08a`
`87`	`87`	`}`
`88`	`88`
`89`	`89`	`@Book{bihemawa08a,`
`90`		`- editor = "A. Biere and M. Heule and H. {van Maaren} and T. Walsh",`
	`90`	`+ author = "A. Biere and M. Heule and H. {van Maaren} and T. Walsh",`
`91`	`91`	`title = "Handbook of Satisfiability",`
	`92`	`+ booktitle = "Handbook of Satisfiability",`
`92`	`93`	`publisher = ios,`
`93`		`- note = "To appear"`
	`94`	`+ year = 2009,`
	`95`	`+ volume = 185,`
	`96`	`+ series = "Frontiers in Artificial Intelligence and Applications"`
`94`	`97`	`}`
`95`	`98`
`96`	`99`	`@Article{daeigovo01a,`