A-Box Reasoning

Μετάφραση: 
συλλογιστική βάσης στιγμιοτύπων