| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Graph-Based Proof Procedures for Horn Clauses | 978-O-8176-353O-5 (O-8176-353O-O) | 1990 |
RADAKO · Radco · Radhika · Radic · Radice · Radke · Radôche · Radosh · Radsa. · Rätsch · Rahtz · Rathus · RATTAZZI · Ratts · Ratza · RDCS · Rdg · Redakcja · Reddick · Redec · Redhouse · Redish · Reeds · Reetz · Retig · Rettig · Retz · Rhoades · Rhoads · Rhodes · Ridge · Ridgeway · Ridgway · Rietig · Ritch · Ritchey · Ritchie · Ritz · Ritzau · Rodack · Roddick · Rodeck · Rodes · RODIG · Roodhouse · Roots · Rotge · Rothaus · Rothko · ROTHSC · Routiaux · Rowitz · Rts · Ruddick · Rudess · RUDGE · Rudhyas · RUDICH · Rudowski · Rudzka · Rüetschi · Ruetz · Rutka · Ruttke · Ruttkey · Rutz · Rytasha