Introduction This repository contains some of the papers and references I've written (mostly in LaTeX). Some of the references include: Prolog Reference Systems Verification Logic Based Learning