How to convert horizontal coordinates using NOVAS?
This is the reply I got from the US Naval Observatory itself:


  No, we do not have that transformation in NOVAS.  Generally, altitude and azimuth are not determined to very high accuracy, so using them to obtain RA and Dec, which are much more precisely defined and measured, does not make a lot of sense.