Brian Herlihy

	2007
2		Brian Herlihy, Peter Schachte, Harald Søndergaard: Un-Kleene Boolean equation Solving. Int. J. Found. Comput. Sci. 18(2): 227-250 (2007)
	2006
1		Brian Herlihy, Peter Schachte, Harald Søndergaard: Boolean equation solving as graph traversal. CATS 2006: 123-132

Coauthor Index

1	Peter Schachte	[1] [2]
2	Harald Søndergaard	[1] [2]