ATP-Languages