Jeanne FerranteBooksLanguages and compilers for parallel computingSome upper and lower bounds on decision procedures in logicAuthor data: Open Library