@inproceedings{WLC-2000-KoshibaH,
	author        = "Takeshi Koshiba and Kunihiko Hiraishi",
	booktitle     = "{Proceedings of the Third International Colloquium on Words, Languages & Combinatorics}",
	isbn          = "978-9810249489",
	pages         = "253--265",
	publisher     = "{World Scientific}",
	title         = "{A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples}",
	year          = 2000,
}