Research Area Deductive Databases
Search Papers (still working on it)
Research Page Laboratory Home Page