Papers in logic and programming