id	domain	url
aisthesis-3709	etcsl.orinst.ox.ac.uk	https://etcsl.orinst.ox.ac.uk/cgi-bin/etcsl.cgi?text=t.2.2.6#
aisthesis-3709	etcsl.orinst.ox.ac.uk	https://etcsl.orinst.ox.ac.uk/section2/tr215.htm
aisthesis-3709	etcsl.orinst.ox.ac.uk	https://etcsl.orinst.ox.ac.uk