Proceedings of the Tenth International Workshop on Logic-based Program Synthesis and Transformation. Abstract of invited advanced tutorial. Lecture Notes in Computer Science 3785, Springer- Verlag, 2005. Lecture Notes in Computer Science 10231:10-14, Springer, 2017. Tutorial notes for invited advanced tutorial at the Eleventh International Conference on Logic Programming, Santa Margherita Ligure, Italy, 13-18 June 1994. Lecture Notes in Computer Science 3049, Springer- Verlag, 2004.
Hill, editors, Proceedings of the Workshop on Logic-based Software Composition, pages 59-72, Leuven, Belgium, July 1997. Proceedings of the Third European Conference on Service-Oriented and Cloud Computing. The Computer Journal, 35:A001-A007, 1992. Proceedings of the Second European Conference on Service-Oriented and Cloud Computing. Larsson, editors, Building Reliable Component-based Software Systems, Chapter 2, pages 23-38, Artech House, 2002. Special Issue: Ten Years of Logic Programming.
Publications by Kung- Kiu Lau Books K. Journal of Logic Programming, 19 ,20:321-350, 1994. Lecture Notes in Artificial Intelligence 1861, Springer- Verlag, 2000. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. Lecture Notes in Computer Science 2042, Springer- Verlag, 2001.
Proceedings of the Seventh International Conference on Formal Engineering Methods. . . . .
. . . . .
. . . . . . .