इसका टेक्स्ट मैसेज भेजे: Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models