\documentstyle[12pt,biblist]{j-article}
\textwidth 13cm
\begin{document}
\baselineskip 5mm
\begin{center}
\bf \large $BF22<8&5f<<!!H/I=O@J8!!Cx:n0lMw!&85D"(B\\
$BBhFsIt(B (1974$B!A(B1983) ($B>pJs9)3X65<<(B10$BG/;K$h$j(B)
\normalsize
1999$BG/(B3$B7n(B31$BF|!&9SLZ(B\\
file$BL>(B:lab5bib-2.tex
\end{center}

\section*{A $BCx:n(B}

\begin{thebiblist}{1}

\bibitem{}
$BF22<=$;J(B.
$B%V%j%?%K%+9q:]BgI42J;vE5(B
($BJ,C4(B)$B!'>pJs=hM}(B31$BJGJ,(B,
TBS$B%V%j%?%K%+(B, 1975.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B.
$B!V%b%s%F%.%e!<J8K!$K4p$E$/5!3#K]Lu$X$N?7$7$$%"%W%m!<%A!W(B  bit 15,  3
$B6&N)=PHG(B, 1983.

\end{thebiblist}

\section*{B $B3X2q;o(B}

\section*{B1 $BO@J8(B}

\begin{thebiblist}{10}

\bibitem{}
$B;3:j?J(B,$B>eNSLoI'(B.
$B%W%C%7%e%@%&%s%*!<%H%^%H%s$N@)8fLdBj(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B(D), Vol. 57-D, No. 9, pp. 542-549, 1974.

\bibitem{}
$B;3:j?J(B,$B>eNSLoI'(B.
$B%W%C%7%e%@%&%s%*!<%H%^%H%s$N%9%?%C%/>e$N7ONs=89g$N@-<A(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B(D), Vol. 58-D, No. 5, pp. 249-255, 1975.

\bibitem{}
$B;3:j?J(B,$B30B<=SG7(B.
$BJ8L.<+M38@8l$N(B bottom-up $BE*:G>.8m$jD{@5%"%k%4%j%:%`$K$D$$$F(B.
$B>pJs=hM}(B, Vol.18, No.8, pp.781-788, 1977.

\bibitem{}
$B;3:j?J(B,$BB<LZ0l;j(B,$BhSLpE/;J(B,$BF22<=$;J(B.
$BF~NOF3=P$r3,AX2=$7$?F3=P(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B(D), Vol. J61-D, No. 9, pp. 605-612, 1978.

\bibitem{}
$BF22<=$;J(B,$BJ?>>9'0l(B,$B3Q0f@5><(B.
$BD>@\%"%/%;%9J}<0$N%P%k%/%a%b%j$rMQ$$$?(B LISP $B%7%9%F%`$N:n@.(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B(D), Vol. 61-D, No. 5, pp. 360-361, 1978.

\bibitem{}
$B;3:j?J(B,$BF22<=$;J(B.
Ackermann $B%/%i%9$KBP$9$kC10LF3=P!&@)8BIU$-@~7AF3=PH?$P$/$N;~4V7W;;NL(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B(D), Vol. J62-D, No. 2, pp. 149-156, 1979.

\bibitem{}
$B;3:j?J(B,$BIp^9M:0lO:(B,$BF22<=$;J(B.
$BC10LF3=PH?$P$/B8:_H=Dj$N8@8lE*@-<A(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B(D), Vol. 63-D, No. 12, pp. 1088-1095, 1980.

\bibitem{}
S. Yamasaki and S. Doshita.
The Satisfiability Problems for Some Classes of Extended Horn Sets in the
Propositional Logic.
Trans. of IECE of Japan, 1982.

\bibitem{}
$B;3:j?J(B,$B4_CNFs(B,$B@P66L-I'(B,$BF22<=$;J(B.
$B$$$/$D$+$N%/%i%9$K$*$1$k(B Horn $B@a=89g$N=<B-ITG=@-LdBj$N7W;;NL(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B(D), Vol. J61-D, No. 9, pp. 605-612, 1982.

\bibitem{}
$B;3:j?J(B,$BNkLZGn(B,$BF22<=$;J(B.
Ackermann $B%/%i%9$NItJ,%/%i%9$KBP$9$k=<B-ITG=@-LdBj$H$=$N4XO"LdBj$N7W;;NL(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B(D), Vol. 65-D, pp. 703-710, 1982.

\bibitem{}
$B@>EDK-L@(B,$B@6Ln@5<y(B,$BF22<=$;J(B.
$B%b%s%F%.%e!<J8K!$K4p$E$/1QJ8OBLu%7%9%F%`$N;n:n(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol. 23, No. 2, pp. 107-115, 1982.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B.
$B<+A38@8l2r@O$N$?$a$N%W%m%0%i%_%s%0%7%9%F%`!](BCOMPLAN$B$K$D$$$F(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol. 23, No. 4, pp. 396-405, 1982.

\bibitem{}
$B;3:j?J(B,$B4_CNFs(B,$BF22<=$;J(B.
$BITF0E@0UL#O@$K4p$E$/(B Horn $B@a=89g$N=<B-ITG=@-H=Dj(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B(D), Vol. 65-D, No. 11, pp. 1334-1341, 1982.

\bibitem{}
$B4_CNFs(B,$B;3:j?J(B,$BF22<=$;J(B.
$B5"G<E*%W%m%0%i%`$+$i(B Horn $B@a=89g$X$NK]Lu%"%k%4%j%:%`(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B(D), Vol. 65-D, No. 11, pp. 1342-1349, 1982.

\end{thebiblist}

\section*{C $B9q:]2q5D(B}

\begin{thebiblist}{10}

\bibitem{}
S. Yamasaki and Y. Kambayashi.
Control of Pushdown Automata and Related Topics.
Proc. of the 2nd USA-Japan Computer Conference,  321-323, 1975.

\bibitem{}
T. Nishida and S. Doshita.
The Framework of Knowledge Representation and its Retrieval in LGS - The
Literature Guide System.
Proc. of the 6th IJCAI,  662-664, 1979.

\bibitem{}
T. Nishida and S. Doshita.
Hierarchical Meaning Representation and Analysis of Natural Language Documents.
COLING 80,  85-92, 1980.

\bibitem{}
T. Nishida and S. Doshita.
A Knowledge-Based Literature Guide System - A New Approach to Document
Retrieval.
Proc. of IFIP Congress 80,  699-704, 1980.

\bibitem{}
T. Nishida and S. Doshita.
An English - Japanese Machine Translation System Based on Formal Semantics
of Natural Language.
COLING 82,  277-282, 1982.

\bibitem{}
T. Nishida and S. Doshita.
An Application of Montague Grammar to English - Japanese Machine Translation.
Proc. of Conference on Applied Natural Language Processing,  156-165, 1983.

\bibitem{}
T. Nishida, A. Kosaka and S. Doshita.
Toward Knowledge Acquisition from Natural Language Document - Automatic
Model Construction from Hardware Manual -.
Proc. of the 8th IJCAI,  482-486, 1983.

\end{thebiblist}

\section*{D $BDj4|4)9TJ*(B}

\begin{thebiblist}{10}

\bibitem{}
$B;3:j?J(B,$B>eNSLoI'(B.
$B%W%C%7%e%@%&%s%*!<%H%^%H%s$KBP1~$9$kL58B>uBV%*!<%H%^%H%s$N@-<A(B.
$B5~ETBg3X?tM}2r@O8&5f=j9V5fO?(B, 213,  132-152, 1974.

\bibitem{}
$BF22<=$;J(B,$B;3:j?J(B.
$B7ONs%Q%?!<%sG'<1%7%9%F%`$N9M$(J}!]7ONs%Q%?!<%s$N8m$j=hM}!](B.
$B5~ETBg3X?tM}2r@O8&5f=j9V5fO?(B, 229,  79-88, 1975.

\bibitem{}
S. Yamasaki,  K. Muraki,  T. Yoshiya and S. Doshita.
On Resolution Layered with Input Resolutions.
$B5~ETBg3X?tM}2r@O8&5f=j9V5fO?(B, 322,  154-177, 1978.

\bibitem{}
S. Yamasaki and S. Doshita.
Complexity of Some Strategies Proving Theorems in the Propositional Logic.
$B5~ETBg3X?tM}2r@O8&5f=j9V5fO?(B, 381,  133-151, 1980.

\bibitem{}
S. Yamasaki,  T. Ishibashi and S. Doshita.
Unit Resolution for a Subclass of the Ackermann Class.
Memories of the Faculty of Engineering,  Kyoto University, XLII,  1, 
63-75, 1980.

\bibitem{}
$B@P66L-I'(B,$BNkLZGn(B,$B;3:j?J(B,$BF22<=$;J(B.
Horn $B@a=89g$N7W;;$K$D$$$F(B.
$B5~ETBg3X?tM}2r@O8&5f=j9V5fO?(B, 421,  232-246, 1981.

\bibitem{}
S. Yamasaki and S. Doshita.
The Satisfiability Problems for Some Classes of Extended Horn Sets in the
propositional Logic.
$B5~ETBg3X?tM}2r@O8&5f=j9V5fO?(B, 454,  396-403, 1982.

\bibitem{}
S. Kitazawa and S. Doshita.
Discriminant Analysis of Burst Spectrum for Japanese Initial Voiceless Stops.
Studia Phonologica, XVI,  48-70, 1983.

\end{thebiblist}

\section*{E $B9qFb8&5f2q!&%7%s%]%8%&%`(B}

\begin{thebiblist}{10}

\bibitem{}
$BF22<=$;J(B,$BJ?>>9'0l(B,$B3Q0f@5><(B.
$B%P%k%/%a%b$j$r;HMQ$7$?%_%K%3%s8~$-(BLISP$B%7%9%F%`(B (LISP1.7).
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-77-3, pp. 19-28, 1977.

\bibitem{}
$B;3:j?J(B,$BhSLpE/;J(B,$BB<LZ0l;j(B,$BF22<=$;J(B.
$B@)8BIU$-F3=PK!$K4X$9$kFs(B,$B;0$N@-<A(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-77-15, pp. 11-18, , 1977.

\bibitem{}
$BF22<=$;J(B,$B@>EDK-L@(B.
$B%"%V%9%H%i%/%H$K$h$kJ88%8!:w(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-77-76, pp. 143-152, 1978.

\bibitem{}
$B;3:j?J(B,$BB<LZ0l;j(B,$BhSLpE/;J(B,$BF22<=$;J(B.
$BF~NOF3=P$r3,AX2=$7$?F3=P(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-77-81, pp. 33-40, 1978.

\bibitem{}
$BB<LZ0l;j(B,$B6b?944?N(B,$BF22<=$;J(B.
$B4pK\F0;l$H>uBVA+0\$rMQ$$$?F0:n$NI=8=$H$=$N>e$G$N?dO@(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-78-30, pp. 79-86, 1978.

\bibitem{}
$B;3:j?J(B,$BF22<=$;J(B.
$BC10LF3=P(B " $BF~NOF3=P$r3,AX2=$7$?F3=P(B " $B$K$h$k(B Ackermann Class $B$K$*$1$kDjM}>ZL@(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-78-34, pp. 21-30, 1978.

\bibitem{}
$B4X8}FXIW(B,$BF22<=$;J(B.
$B8!>Z2DG=8@8l(BCV/L$B$H2qOCE*8!>Z%7%9%F%`(BHSPV.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-78-33, pp. 11-20, 1978.

\bibitem{}
$B;3:j?J(B,$BF22<=$;J(B.
Ackermann Class $B$KBP$9$kF~NOF3=P$r3,AX2=$7$?H?G}B8:_H=Dj!]Hs@~7A$N>l9g!](B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-78-69, pp. 1-8, 1979.

\bibitem{}
$BIp^9M:0lO:(B,$BhSLpE/;J(B,$B;3:j?J(B,$BF22<=$;J(B.
$BBh0l3,=R8lO@M}$NItJ,%/%i%9$K$*$1$kC10LF3=P7A$K8=$l$k8@8l$N@-<A(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-79-8, pp.11-20, 1979.

\bibitem{}
$B;3:j?J(B,$B@P66L-I'(B,$BhSLpE/;J(B,$BF22<=$;J(B.
Ackermann $B%/%i%9$NItJ,%/%i%9$KBP$9$kFs(B,$B;0$NF3=PH?G}B8:_H=Dj%"%k%4%j%:%`$K$D(B
$B$$$F(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-79-32, pp. 55-64, 1979.

\bibitem{}
$B4X8}FXIW(B.
$B8!>Z2DG=8@8l(BCV/L$B$H2qOCE*8!>Z%7%9%F%`(BHSPV.
$B>pJs=hM}3X2q!!Bh(B20$B2s%W%m%0%i%`%7%s%]%8%&%`(B, pp. 59-70, 1979.

\bibitem{}
$B;3:j?J(B,$BF22<=$;J(B.
2, 3 $B$N3HD%(B Horn set $B$K$D$$$F(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-80, 1980.

\bibitem{}
$B;3:j?J(B,$BF22<=$;J(B.
$BF~NOF3=P$r3,AX2=$7$?F3=P(B (2).
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-79-89, pp. 1-6, 1980.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B.
$B<+A38@8l$N0UL#5-=R$rMQ$$$?J88%0FFb%7%9%F%`(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL-79-95, pp. 37-42, 1980.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B.
$B<+A38@8l$N$?$a$N3,AXE*0UL#I=8=%7%9%F%`(B (LOGICS) $B$H$=$N1~MQ$K$D$$$F(B.
$B>pJs=hM}3X2q!!7W;;8@8l3X8&5f2q(B, 22-2, 1980.

\bibitem{}
$B;3:j?J(B,$BF22<=$;J(B.
$BF~NOF3=P$r3,AX2=$7$?F3=P$H3HD%(B Horn set $B!]Hs@~7A$N>l9g(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL80-44, 1980.

\bibitem{}
$B@P66L-I'(B,$B;3:j?J(B,$BF22<=$;J(B.
$B%W%m%0%i%_%s%08@8l(BPROLOG$B2r<a5!9=$NJ#;($5(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL80-43, 1980.

\bibitem{}
$BF22<=$;J(B.
$BCN<1%G!<%?%Y!<%9$K$D$$$F(B.
$B>pJs=hM}3X2q!!0eNE>pJs3X8&5f2q(B, 7-7, 1980.

\bibitem{}
$B;3:j?J(B,$BNkLZGn(B,$B@P66L-I'(B,$BF22<=$;J(B.
Ackermann $B%/%i%9$N=<B-ITG=@-H=DjLdBj$H%U%m!<%A%c!<%H?^<0$N@-<A(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL80-91, 1981.

\bibitem{}
$B4_CNFs(B,$B;3:j?J(B,$BF22<=$;J(B.
Goedel $B%/%i%9$NItJ,%/%i%9$N=<B-2DG=@-H=DjLdBj$K$D$$$F(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL81-17, 1981.

\bibitem{}
$B4_CNFs(B,$B;3:j?J(B,$BF22<=$;J(B.
$B5"G<E*%W%m%0%i%`$N(B Horn $B@a=89g$K$h$k7W;;(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL81-72, 1981.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B.
$B%b%s%F%.%e!<J8K!$K4p$E$/1QJ8OBLu%7%9%F%`(B.
$B>pJs=hM}3X2q!!?M9)CNG=$HBPOC5;K!8&5f2q(B, 23-2, 1981.

\bibitem{}
$BKL_7LPNI(B,$BF22<=$;J(B.
$BJQ2=$9$k%9%Z%/%H%k$N6I=jE*$JAj8_Aj4X$K$h$k%9%Z%/%H%k<~GH?t<4$N%^%C%A%s%0(B.
$BF|K\2;6A3X2q!!2;@<8&5f2q(B, S80-43, 1981.

\bibitem{}
$BKL_7LPNI(B,$BF22<=$;J(B.
$B%9%Z%/%H%k%Q%?!<%s$N;~4VJQ2=$NDI@W$K$D$$$F(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, PRL80-110, 1981.

\bibitem{}
$BMLpuL@(B,$B@>EDK-L@(B,$BF22<=$;J(B.
$BCf9q8l2r@O%7%9%F%`$K$D$$$F$N9M;!(B.
$B>pJs=hM}3X2q!!<+A38@8l=hM}8&5f2q(B, 33-1, 1982.

\bibitem{}
$B@>EDK-L@(B,$B>.:d98(B,$BF22<=$;J(B.
$B%O!<%I%&%'%"%^%K%e%"%k$+$i$N>pJs$N<+F0Cj=P$K4X$9$k9M;!(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL82-68, 1982.

\bibitem{}
$B5HED44(B,$BJ?ED44?M(B,$B;3:j?J(B,$BF22<=$;J(B.
$BN>J}8~?dO@$K4p$E$/(BPROLOG$B=hM}7O$K$D$$$F(B.
$B>pJs=hM}3X2q!!CN<19)3X$H?M9)CNG=8&5f2q(B,  28-1, 1982.

\bibitem{}
$B4_CNFs(B,$B;3:j?J(B,$BF22<=$;J(B.
Horn $B@a=89g$N7W;;$K4X$9$k8&5f(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL81-89, 1982.

\bibitem{}
$BJ?ED44?M(B,$B;3:j?J(B,$BF22<=$;J(B.
$BF~NOF3=P$N@-<A$H$=$N1~MQ(B.
$BEE;RDL?.3X2q!!?.3X5;Js(B, AL82-24, 1982.

\bibitem{}
$B@>EDK-L@(B.
Conference on Applied Natural Language Processing $B$K=P@J$7$F(B.
$B>pJs=hM}3X2q!!<+A38@8l=hM}8&5f2q(B, 37-6, 1983.

\bibitem{}
$B@>EDK-L@(B.
$BJQ492aDx$N4pK\@_7W(B.
$B>pJs=hM}3X2q!!<+A38@8l=hM}8&5f2q(B, 38-6, 1983.

\bibitem{}
$B@>EDK-L@(B,$B>.:d98(B,$BF22<=$;J(B.
$B@lLgJ,Ln$N%I%-%e%a%s%H$+$i$N>pJsCj=P$K$D$$$F!](B LSI$B%O!<%I%&%'%"%^%K%e%"%k$rBP(B
$B>]$H$7$F(B.
$B>pJs=hM}3X2q!V<+A38@8l=hM}5;=Q!W%7%s%]%8%&%`(B, 1983.

\bibitem{}
$B5HED44(B,$BJ?ED44?M(B,$B;3:j?J(B,$BF22<=$;J(B.
Horn $BJ8$KBP$9$kN>J}8~?dO@(B.
Proc. of the Logic Programming Conference, 1983.

\bibitem{}
$BKL_7LPNI(B,$B1J2,>;9@(B,$BD9C+@nL@(B,$BF22<=$;J(B.
$BOC<T$*$h$SJl2;%3%s%F%-%9%H$KFHN)$JL5@<!&M-@<GKNv;R2;$NG'<1$N$?$a$NGKNvIt$N2;(B
$B6AJ,@O$HFCD'Cj=P(B.
$BF|K\2;6A3X2q!!2;@<8&5f2q(B, S83-14, 1983.

\bibitem{}
$BKL_7LPNI(B,$BF22<=$;J(B.
$BGKNvIt%9%Z%/%H%k$K$h$kF|K\8lL5@<GKNv2;$N<1JL(B.
$BF|K\2;6A3X2q!!2;@<8&5f2q(B, S82-81, 1983.

\end{thebiblist}

\section*{F $B9qFbBg2q(B}

\begin{thebiblist}{10}

\bibitem{}
$B;3:j?J(B,$B>eNSLoI'(B.
$B%W%C%7%e%@%&%s%*!<%H%^%H%s$KBP1~$9$kL58B>uBV%*!<%H%^%H%s$N$"$k<o$N>uBV=89g$N(B
$B@-<A(B.
$BEE;RDL?.3X2q!!Am9gA4Bg(B, 1528, 1974.

\bibitem{}
$BF22<=$;J(B,$B;3:j?J(B,$BB<LZ0l;j(B.
$BDjM}>ZL@K!$K4X$9$k0l9M;!(B.
$B>pJs=hM}3X2q!!Bh(B15$B2sA4Bg(B, 3, 1974.

\bibitem{}
$B;3:j?J(B,$B@>EDK-L@(B.
$BLZ9=B$$K$*$1$kLZ$N4V$N5wN%$K$D$$$F(B.
$BEE;RDL?.3X2q!!Am9gA4Bg(B, 1107, 1977.

\bibitem{}
$BB<LZ0l;j(B,$B;3:j?J(B,$BhSLpE/;J(B,$BF22<=$;J(B.
$BL?BjO@M}$K$*$1$kF3=PK!$K$D$$$F(B.
$BEE;RDL?.3X2q!!>pJsItLgA4Bg(B, 36, 1977.

\bibitem{}
$B@>EDK-L@(B,$B;3:j?J(B.
$BCN<1$N6a$5$N4X78$rMQ$$$??dO@$H8!:w5!9=$N4pK\E*9M;!(B.
$BEE;RDL?.3X2q!!Am9gA4Bg(B, 1106, 1977.

\bibitem{}
$BhSLpE/;J(B,$B;3:j?J(B,$BB<LZ0l;j(B,$BF22<=$;J(B.
$B@)8BIU$-F3=PK!$K$D$$$F(B.
$BEE;RDL?.3X2q!!>pJsItLgA4Bg(B, 36, 1977.

\bibitem{}
$BF22<=$;J(B,$BJ?>>9'0l(B,$B3Q0f@5><(B.
$B%P%k%/%a%b$j$r;HMQ$7$?%_%K%3%s8~$-(BLISP$B%7%9%F%`(B (LISP1.7).
$BEE;RDL?.3X2q!!>pJsItLgA4Bg(B, 1977.

\bibitem{}
$BF22<=$;J(B,$BB<LZ0l;j(B,$BFn=PAo(B.
$B%2!<%`%W%l%$$N0l<jK!(B.
$BEE;RDL?.3X2q!!Am9gA4Bg(B, 1212, 1978.

\bibitem{}
$BF22<=$;J(B,$B@>EDK-L@(B.
$BJ88%%"%V%9%H%i%/%H$NCN<1I=8=J}K!(B.
$B>pJs=hM}3X2q!!Bh(B15$B2sA4Bg(B, 3, 1978.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B.
$B%W%m%;%8%e%"2=$5$l$?J8K!5,B'$K$h$k1QJ82r@O%W%m%0%i%`(B.
$BEE;RDL?.3X2q!!Am9gA4Bg(B, 1207, 1979.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B.
$BJ88%%,%$%I%7%9%F%`(BLGS$B$K$*$1$kCN<1I=8=$HCN<1%Y!<%9$N:n@.(B.
$B>pJs=hM}3X2q!!Bh(B20$B2sA4Bg(B, 4C-7, 1979.

\bibitem{}
$B@>EDK-L@(B,$B@6Ln@5<y(B,$BF22<=$;J(B.
$BF|K\8l$N5?LdJ8$N<h$j07$$$N0lJ}K!(B.
$B>pJs=hM}3X2q!!Bh(B20$B2sA4Bg(B, 5C-2, 1979.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B.
$B1QJ82r@OMQ%Q!<%6(B (EASY) $B$N:n@.!]E}8l2r@O%"%k%4%j%:%`$K$D$$$F(B.
$BEE;RDL?.3X2q!!Am9gA4Bg(B, 1198, 1980.

\bibitem{}
$B@>EDK-L@(B,$B@6Ln@5<y(B,$B;3Cf9'IW(B,$BF22<=$;J(B.
$B1QJ82r@OMQ%Q!<%6(BEASY$B$rMQ$$$?0UL#Cj=P<B83(B.
$BEE;RDL?.3X2q!!Am9gA4Bg(B, 1199, 1980.

\bibitem{}
$B@>EDK-L@(B,$B@6Ln@5<y(B,$B;3Cf9'IW(B,$BF22<=$;J(B.
$B0UL#2r@O$K4p$E$/1QJ8OBLu$K$D$$$F(B.
$B>pJs=hM}3X2q!!Bh(B21$B2sA4Bg(B, 5H-1, 1980.

\bibitem{}
$B@>EDK-L@(B,$B:g86MN;0(B,$BF22<=$;J(B.
$BF|K\8l$N=R8l$N2r@O$H1QLu$K$D$$$F(B.
$B>pJs=hM}3X2q!!Bh(B21$B2sA4Bg(B, 5$B#H(B-2, 1980.

\bibitem{}
$BKL_7LPNI(B,$BF22<=$;J(B,$B0B3Z1Q@$(B.
$B%9%Z%/%H%k$N<~GH?t<4%^%C%A%s%0$K$h$k%[%k%^%s%H50@W$NDI@W(B.
$BF|K\2;6A3X2q!!9V1iO@J8(B, 2-7-8, 1980.

\bibitem{}
$BKL_7LPNI(B,$BF22<=$;J(B.
$BJQ2=$9$k%9%Z%/%H%k$N6I=jE*$JAj8_Aj4X$K$h$k%9%Z%/%H%k<~GH?t<4$N%^%C%A%s%0(B.
$BF|K\2;6A3X2q!!9V1iO@J8(B, 1-1-11, 1980.

\bibitem{}
$B@>EDK-L@(B,$B@6Ln@5<y(B,$BF22<=$;J(B.
$B0UL#2r@O$K4p$E$/1QJ8OBLu%7%9%F%`(B.
$B>pJs=hM}3X2q!!Bh(B22$B2sA4Bg(B, 2M-2, 1981.

\bibitem{}
$B@>EDK-L@(B,$B>.:d98(B,$BF22<=$;J(B.
$BO@M}8@8l$rCf4VI=8=$H$9$kOBJ81QLu%7%9%F%`$K$D$$$F(B.
$B>pJs=hM}3X2q!!Bh(B22$B2sA4Bg(B, 2M-3, 1981.

\bibitem{}
$B@>EDK-L@(B,$B>.:d98(B,$BF22<=$;J(B.
$B<+A38@8l$N(B formal semantics $B$K4p$E$$$?CN<1%G!<%?%Y!<%9$K$D$$$F(B.
$B>pJs=hM}3X2q!!Bh(B22$B2sA4Bg(B, 5M-7, 1981.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B.
$BFbJqO@M}<0$+$i$NF|K\8lJ8$N@8@.$K$D$$$F(B.
$B>pJs=hM}3X2q!!Bh(B23$B2sA4Bg(B, 4M-12, 1981.

\bibitem{}
$BKL_7LPNI(B,$BF22<=$;J(B.
$BJl2;%9%Z%/%H%k%Q%?!<%s4V$N3F<o5wN%$N8!F$(B.
$BF|K\2;6A3X2q!!9V1iO@J8(B, 2-1-6, 1981.

\bibitem{}
$BKL_7LPNI(B,$BF22<=$;J(B.
$B%9%Z%/%H%k%Q%?!<%s4V$NAj4X$r:GBg2=$9$k%^%C%A%s%0K!$N;D:9$rMQ$$$?GKNv;R2;Jl2;(B
$B4V$N5wN%(B.
$BF|K\2;6A3X2q!!9V1iO@J8(B, 2-7-13, 1981.

\bibitem{}
$BKL_7LPNI(B,$BF22<=$;J(B.
$BJQ2=$9$k%9%Z%/%H%k%Q%?!<%s$N<~GH?t<4%^%C%A%s%0(B.
$BEE;RDL?.3X2q!!Am9gA4Bg(B, 1349, 1981.

\bibitem{}
$B@>EDK-L@(B,$B>.:d98(B,$BF22<=$;J(B.
$B%b%s%F%.%e!<J8K!$K4p$E$/1QJ8OBLu%7%9%F%`!J2~NIHG!K$K$D$$$F(B.
$B>pJs=hM}3X2q!!Bh(B24$B2sA4Bg(B, 4K-6, 1982.

\bibitem{}
$B@>EDK-L@(B,$B>.:d98(B,$BF22<=$;J(B.
$B%b%s%F%.%e!<J8K!$K4p$E$/1QJ8OBLu%7%9%F%`$N8=>u$HLdBjE@$K$D$$$F(B.
$B>pJs=hM}3X2q!!Bh(B24$B2sA4Bg(B, 4K-5, 1982.

\bibitem{}
$B@>EDK-L@(B,$B>.:d98(B,$BF22<=$;J(B.
$B2J3X5;=QJ88%M}2r%7%9%F%`$K$D$$$F$N9M;!(B.
$B>pJs=hM}3X2q!!Bh(B25$B2sA4Bg(B, 7H-4, 1982.

\bibitem{}
$B@>EDK-L@(B,$B>.:d98(B,$BF22<=$;J(B.
$B%b%s%F%.%e!<J8K!$K$h$k5!3#K]Lu%7%9%F%`$K$*$1$kLuJ8@8@.$K$D$$$F(B.
$B>pJs=hM}3X2q!!Bh(B25$B2sA4Bg(B, 6K-5, 1982.

\bibitem{}
$BMLpuL@(B,$B@>EDK-L@(B,$BF22<=$;J(B.
$BCf9q8l$N2r@O$K$*$1$kLdBjE@$H=hM}J}<0$K$D$$$F$N9M;!(B.
$B>pJs=hM}3X2q!!Bh(B25$B2sA4Bg(B, 6K-7, 1982.

\bibitem{}
$BKL_7LPNI(B,$B?9EDK-(B,$B<iEDCN;K(B,$BF22<=$;J(B.
$B%9%Z%/%H%k$H%9%Z%/%H%kA+0\$NFCD'$rMQ$$$?GKNv;R2;$N<1JL(B.
$BF|K\2;6A3X2q!!9V1iO@J8(B, 2-4-6, 1982.

\bibitem{}
$BKL_7LPNI(B,$BF22<=$;J(B.
$BGKNvIt%9%Z%/%H%k$H$o$?$j$K$h$kF|K\8lL5@<GKNv2;$N<1JL(B.
$BF|K\2;6A3X2q!!9V1iO@J8(B, 1-7-16, 1982.

\bibitem{}
$BF22<=$;J(B,$B5HB<>!@g(B,$B694V0l(B.
$B%^%$%/%m%W%m%;%C%5$K%;%k%"%/%;%95!9=$rIU2C$7$?(BLISP$B%7%9%F%`(B.
$B>pJs=hM}3X2q!!Bh(B24$B2sA4Bg(B, 2B-3, 1982.

\bibitem{}
$B@>EDK-L@(B,$B>.:d98(B,$BF22<=$;J(B.
$B%O!<%I%&%'%"%^%K%e%"%kM}2r$N$?$a$N<+A38@8l2r@O(B.
$B>pJs=hM}3X2q!!Bh(B26$B2sA4Bg(B, 6L-1, 1983.

\bibitem{}
$B@>EDK-L@(B,$B>.:d98(B,$BF22<=$;J(B.
$B%O!<%I%&%'%"%^%K%e%"%kM}2r$N$?$a$NF0:n5-=R%b%G%k$H?dO@K!$K$D$$$F(B.
$B>pJs=hM}3X2q!!Bh(B26$B2sA4Bg(B, 7C-1, 1983.

\bibitem{}
$BKL_7LPNI(B,$B1J2,>;9@(B,$BD9C+@nL@(B,$BF22<=$;J(B.
$BGKNvIt%9%Z%/%H%k$H$o$?$j$K$h$kF|K\8lGKNv;R2;$N<1JL(B.
$BF|K\2;6A3X2q!!9V1iO@J8(B, 1-2-10, 1983.

\end{thebiblist}

\end{document}
