Author: Asian Logic Conference (6th 1996 Beijing, China)