@inproceedings{FLOPS-1998-Sakurai,
	author        = "Takafumi Sakurai",
	booktitle     = "{Fuji International Symposium on Functional and Logic Programming}",
	pages         = "187--206",
	title         = "{Categorial Model Construction for Proving Syntactic Properties}",
	year          = 1998,
}