@InProceedings{
   Lau:02,
   Author = "K.-K. Lau",
   Title = "A Priori Reasoning for Component-based Software Development",
   BookTitle = "First CoLogNET Workshop on Component-based Software 
                Development and Implementation Technology for Computational 
                Logic Systems",
   Editor ="M. Carro and  C. Vaucheret and K.-K. Lau",
   Pages = "5-19",
   Note = "Technical Report CLIP4/02.0, School of Computer Science, 
           Technical University of Madrid, 2002." }