@article{Chaudhuri2018, author = "Kaustuv Chaudhuri and Frank Pfenning", title = "{Resource Management for the Inverse Method in Linear Logic}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Resource_Management_for_the_Inverse_Method_in_Linear_Logic/6609062", doi = "10.1184/R1/6609062.v1" }