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