{
    "query": {
        "category": "Computer Science",
        "publication_date": "1989-12",
        "nr_of_items": 4
    },
    "items": [
        {
            "title": "Automated Deduction in Nonclassical Logics",
            "subtitle": "Efficient Matrix Proof Methods for Modal and Intuitionistic Logics",
            "author": "by Lincoln A. Wallen",
            "isbn": "9780262231442",
            "publisher": "MIT Press",
            "link_to_publisher": "https:\/\/mitpress.mit.edu\/9780262231442\/automated-deduction-in-nonclassical-logics"
        },
        {
            "title": "Computation Structures",
            "subtitle": null,
            "author": "by Stephen A. Ward and Robert H. Halstead",
            "isbn": "9780262730884",
            "publisher": "MIT Press",
            "link_to_publisher": "https:\/\/mitpress.mit.edu\/9780262730884\/computation-structures"
        },
        {
            "title": "Single-Layer Wire Routing and Compaction",
            "subtitle": null,
            "author": "by F. Miller Maley",
            "isbn": "9780262132503",
            "publisher": "MIT Press",
            "link_to_publisher": "https:\/\/mitpress.mit.edu\/9780262132503\/single-layer-wire-routing-and-compaction"
        },
        {
            "title": "TEDIUM and the Software Process",
            "subtitle": null,
            "author": "by Bruce I. Blum",
            "isbn": "9780262022941",
            "publisher": "MIT Press",
            "link_to_publisher": "https:\/\/mitpress.mit.edu\/9780262022941\/tedium-and-the-software-process"
        }
    ]
}