Georgel Calin

	2009
1		Georgel Calin, Rob Myers, Dirk Pattinson, Lutz Schröder: CoLoSS: The Coalgebraic Logic Satisfiability Solver. Electr. Notes Theor. Comput. Sci. 231: 41-54 (2009)

Coauthor Index

1	Rob Myers	[1]
2	Dirk Pattinson	[1]
3	Lutz Schröder	[1]