Form 8801 is used for the credit/carryforward while Form 6251 is used to figure the amount of the AMT.
