Tuomo Takkula, Ralf Borndörfer, and Andreas M. Löbel Proc. Chalmers Winter Meeting, 2000 http://www.cs.chalmers.se/~ilya/WM2000/proceedings.html
Cites: