Fast algorithms for testing unsatisfiability of ground horn clauses with equations, Jean H. Gallier
@TechReport{ms-cis-86-06,
  author = 	 "Jean H. Gallier",
  title = 	 "Fast algorithms for testing unsatisfiability of
		  ground horn clauses with equations",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1986,
  number =	 "MS-CIS-86-06",
  note =         "LINC LAB 38"     
}

HORNLOG : a graph based interpreter for general Horn clauses, Jean H. Gallier
@TechReport{ms-cis-86-10,
  author = 	 "Jean H. Gallier",
  title = 	 "HORNLOG : a graph based interpreter for general Horn
		  clauses",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1986,
  number =	 "MS-CIS-86-10",
  note =         "LINC LAB 37"
}

Higher-order logic programming , Dale A. Miller, Gopalan Nadathur
@TechReport{ms-cis-86-17,
  author = 	 "Dale A. Miller, Gopalan Nadathur",
  title = 	 "Higher-order logic programming ",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1986,
  number =	 "MS-CIS-86-17"
}

Extending SLD-resolution to equational Horn clauses using E-unification, Jean H. Gallier, Stan Raatz
@TechReport{ms-cis-86-44,
  author = 	 "Jean H. Gallier, Stan Raatz",
  title = 	 "Extending SLD-resolution to equational Horn clauses
		  using E-unification",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1986,
  number =	 "MS-CIS-86-44",
  note =         "LINC LAB 67"
}

A theory of modules for logic programming, Dale Miller
@TechReport{ms-cis-86-53,
  author = 	 "Dale Miller",
  title = 	 "A theory of modules for logic programming",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1986,
  number =	 "MS-CIS-86-53",
  note =         "LINC LAB 26" 
}

Refutation methods for Horn clauses with equality based on E-unification, Jean H. Gallier, Stan Raatz
@TechReport{ms-cis-86-59,
  author = 	 "Jean H. Gallier, Stan Raatz",
  title = 	 "Refutation methods for Horn clauses with equality
		  based on E-unification",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1986,
  number =	 "MS-CIS-86-59",
  note =         "LINC LAB 40"
}

An introduction to tree adjoining grammars, Aravind K. Joshi
@TechReport{ms-cis-86-64,
  author = 	 "Aravind K. Joshi",
  title = 	 "An introduction to tree adjoining grammars",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1986,
  number =	 "MS-CIS-86-64",
  note =         "LINC LAB 31"
}

Reconfigurable special-purpose computers, Yuen-Wah Eva Ma, et. al.
@TechReport{ms-cis-86-83,
  author = 	 "Yuen-Wah Eva Ma, et. al.",
  title = 	 "Reconfigurable special-purpose computers",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1986,
  number =	 "MS-CIS-86-83"
}

Incorporating postscript and macintosh figures in tex, Trevor Darrell
@TechReport{ms-cis-87-13,
  author = 	 "Trevor Darrell",
  title = 	 "Incorporating postscript and macintosh figures in tex",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1987,
  number =	 "MS-CIS-87-13",
  note =         "GRASP LAB 95"
}

Combinatory grammars and parasitic gaps, Mark Steedman
@TechReport{ms-cis-87-15,
  author = 	 "Mark Steedman",
  title = 	 "Combinatory grammars and parasitic gaps",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1987,
  number =	 "MS-CIS-87-15",
  note =         "LINC LAB 51"
}

Hereditary harrop formulas and uniform proof systems, Dale Miller, Gopalan Nadathur, Andre Scedrov
@TechReport{ms-cis-87-24,
  author = 	 "Dale Miller, Gopalan Nadathur, Andre Scedrov",
  title = 	 "Hereditary harrop formulas and uniform proof systems",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1987,
  number =	 "MS-CIS-87-24",
  note =         "LINC LAB 54"
}

A compact representaion of proofs, Dale A. Miller
@TechReport{ms-cis-87-30,
  author = 	 "Dale A. Miller",
  title = 	 "A compact representaion of proofs",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1987,
  number =	 "MS-CIS-87-30",
  note =         "LINC LAB 57"
}

A higher-order logic as the basis for logic programmning, Gopalan Nadathur
@TechReport{ms-cis-87-48,
  author = 	 "Gopalan Nadathur",
  title = 	 "A higher-order logic as the basis for logic programmning",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1987,
  number =	 "MS-CIS-87-48",
  note =         "LINC LAB 69"
}

Relating logic programs and attribute grammars, Tomas Isakowitz
@TechReport{ms-cis-87-68,
  author = 	 "Tomas Isakowitz",
  title = 	 "Relating logic programs and attribute grammars",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1987,
  number =	 "MS-CIS-87-68",
  note =         "LINC LAB 79"
}

A logical analysis of modules in logic, Dale Miller
@TechReport{ms-cis-87-96,
  author = 	 "Dale Miller",
  title = 	 "A logical analysis of modules in logic",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1987,
  number =	 "MS-CIS-87-96",
  note =         "LINC LAB 91"
}

Building exact computation sequences, Alex Pelin, Jean H. Gallier
@TechReport{ms-cis-87-102,
  author = 	 "Alex Pelin, Jean H. Gallier",
  title = 	 "Building exact computation sequences",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1987,
  number =	 "MS-CIS--87-102",
  note =         "LINC LAB 94"
}

Theorem proving using equational matings and rigid E-unification , Jean Gallier, et. al.
@TechReport{ms-cis-88-15,
  author = 	 "Jean Gallier, et. al.",
  title = 	 "Theorem proving using equational matings and rigid
		  E-unification ",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1988,
  number =	 "MS-CIS-88-15"
  note =         "Replaced 87-28",
  annote =       "LINC LAB 102"
}

Extensional models for polymorphism, Val Breazu-Tannen, Thierry Coquand
@TechReport{ms-cis-88-25,
  author = 	 "Val Breazu-Tannen, Thierry Coquand",
  title = 	 "Extensional models for polymorphism",
  institution =  "Department of Computer and Information Science,
		  University of Pennsylvania",
  year = 	 1988,
  number =	 "MS-CIS-88-25",
  note =         "LINC LAB 109"
}