Eleana Tomuta,
"An Architecture for Combining Provers and its Applications in the Theorema System (Ph-D Thesis)"
, Serie RISC Report Series, Nummer 98-14, 1998, RISC-report 98-14, Eleana Tomuta
Original Titel:
An Architecture for Combining Provers and its Applications in the Theorema System (Ph-D Thesis)