@TechReport{ Pratt1977,
Author = "Pratt, V. R.",
date-added = "2019-04-29 14:27:00 +0200",
date-modified = "2019-04-29 14:27:37 +0200",
Institution = "MIT",
Title = "Two Easy Theories Whose Combination is Hard",
Year = "1977",
File = "sefnp (0) - a - a - k.pdf"
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A