@techreport{weko_31848_1,
   author	 = "鈴木,祐介 and 正代,隆義 and 松本,哲志 and 宮原,哲浩",
   title	 = "高さ制約変数を持つ順序木パターン言語の正データからの多項式時間帰納推論可能性について",
   year 	 = "2004",
   institution	 = "九州大学大学院システム情報科学府, 九州大学大学院システム情報科学研究院, 東海大学理学部情報数理学科, 広島市立大学情報科学部",
   number	 = "52(2004-AL-095)",
   month	 = "may"
}