\begin{thebibliography}{10}

\bibitem{eis:uni}
Andreas Eisele and Jochen D{\"{o}}rre.
\newblock {Unification of Disjunctive Feature Descriptions}.
\newblock In {\em Proc. of 26th Annual Meeting of ACL}, pp.~ 286--294, June
  1988.

\bibitem{gun:jpsg}
Takao GUNJI.
\newblock {\em Japanese Phrase Structure Grammar}.
\newblock Reidel, Dordrecht, 1986.

\bibitem{has:cu}
K\^{o}iti HASIDA.
\newblock {C}onditioned {U}nification for {N}atural {L}anguage {P}rocessing.
\newblock In {\em Proceedings of the 11th International Conference on
  Computational Linguistics}, pp.~ 85--87, 1986.

\bibitem{has:com}
K\^{o}iti HASIDA.
\newblock {Common Heuristics for Parsing, Generation, and Whatever}.
\newblock In {\em Workshop on Reversible Grammar in Natural Language
  Processing}, Berkeley, 1991.

\bibitem{has:iwpt}
K\^{o}iti HASIDA and Hiroshi TSUDA.
\newblock {Parsing without Parser}.
\newblock In {\em Proc. of Second International Workshop on Parsing
  Technologies}, pp.~ 1--10. Sigparse ACL, February 1991.

\bibitem{shi:ub}
Stuart~M. Shieber.
\newblock {\em An Introduction to Unification-Based Approach to Grammar}.
\newblock CSLI Lecture Notes Series No.4. Stanford:CSLI, 1986.

\bibitem{tuda:fgcs}
Hiroshi TSUDA.
\newblock {cu-Prolog for Constraint-Based Grammar}.
\newblock In {\em Proceedings of Fifth Generation Computer System}, 1992.

\bibitem{tuda:sico}
Hiroshi TSUDA and K\^{o}iti HASIDA.
\newblock {Parsing as Constraint Transformation -- an Extension of cu-Prolog}.
\newblock In {\em Proceedings of the Seoul International Conference on Natural
  Language Proccesing}, pp.~ 325--331, 1990.

\bibitem{tuda:lpc}
Hiroshi TSUDA, K\^{o}iti HASIDA, and Hidetosi SIRAI.
\newblock {c}u-{P}rolog and its application to a {JPSG} parser.
\newblock In K.Furukawa, H.Tanaka, and T.Fujisaki, editors, {\em Logic
  Programming '89}, pp.~ 134--143. Springer-Verlag LNAI-485, 1989.

\bibitem{tuda:acl}
Hiroshi TSUDA, K\^{o}iti HASIDA, and Hidetosi SIRAI.
\newblock {JPSG} {P}arser on {C}onstraint {L}ogic {P}rogramming.
\newblock In {\em Proc. of 4th ACL European Chapter}, pp.~ 95--102, 1989.

\bibitem{cs:cu}
橋田浩一, 白井英俊.
\newblock 条件付単一化.
\newblock {\em コンピュータソフトウェア},  Vol.~3, No.~4, pp.~28--38, 1986.

\bibitem{tuda:sof91}
津田宏.
\newblock cu-prologによる選言的素性構造.
\newblock  {\em 日本ソフトウェア科学会第8回大会論文集}, pp.~ 505--508, 1991.

\bibitem{tuda:sof89}
津田宏, 橋田浩一, 白井英俊.
\newblock 制約充足としての構文解析 --- 制約論理型言語cu-prologの応用.
\newblock  {\em 日本ソフトウェア科学会第6回大会論文集}, pp.~ 257--260, 1989.

\end{thebibliography}