TANG, Zhisong "To Unify Programming with Logic, I" (Invited speech), Proc. of PREVLDB Intl. Symp. Beijing, 1986,. II, (Invited speech), Proc. Intl. Symp. Softw. Eng., Beijing, 1986

Languages mentioned

• XYZ/E {1983}