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