@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"     
}

@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"
}

@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"
}

@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"
}

@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" 
}

@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"
}

@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"
}

@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"
}

@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"
}

@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"
}

@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"
}

@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"
}

@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"
}

@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"
}

@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"
}

@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"
}

@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"
}

@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"
}