CREATE TABLE inst (instid NUMBER, name CLOB, country CLOB)
CREATE TABLE authorship (authid NUMBER, instid NUMBER, paperid NUMBER, authorder NUMBER)
CREATE TABLE papers (paperid NUMBER, title CLOB)
CREATE TABLE authors (authid NUMBER, lname CLOB, fname CLOB)

Find the titles of all the papers written by 'Jeremy Gibbons
SELECT t3.title FROM authors AS t1 JOIN authorship AS t2 ON t1.authid = t2.authid JOIN papers AS t3 ON t2.paperid = t3.paperid WHERE t1.fname = "Jeremy" AND t1.lname = "Gibbons"
SELECT "t3"."title" FROM "authors" "t1" JOIN "authorship" "t2" ON "t1"."authid" = "t2"."authid" JOIN "papers" "t3" ON "t2"."paperid" = "t3"."paperid" WHERE "Gibbons" = "t1"."lname" AND "Jeremy" = "t1"."fname"