Sarah Winkler

	2009
2		Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp: Constraint-Based Multi-Completion Procedures for Term Rewriting Systems. IEICE Transactions 92-D(2): 220-234 (2009)
	2008
1		Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp: Multi-completion with Termination Tools (System Description). IJCAR 2008: 306-312

Coauthor Index

1	Masahito Kurihara	[1] [2]
2	Aart Middeldorp	[1] [2]
3	Haruhiko Sato	[1] [2]