@techreport{weko_20699_1,
   author	 = "中山,秀明",
   title	 = "関係演算の効率的プログラムへの変換技法　－証明図を用いる変換技法",
   year 	 = "1988",
   institution	 = "（株）リコーソフトウェア研究所",
   number	 = "33(1988-DBS-065)",
   month	 = "may"
}