by International Workshop on Logic Program Synthesis and Transformation (6th 1996 Stockholm, Sweden)
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from…