Let $A$ be a commutative noetherian domain of characteristic zero, $T$ an indeterminate, $h \in A[T]$, $B= A[T]/(h)$ and assume $B$ is also a domain. 

When $B$ is (formally) smooth over $A$?; namely, what should we additionally assume on $h, A, B, A \subseteq B$ in order to get a smooth $A \to B$? 

Of course, a legitimate answer is: $A \subseteq B$ is flat and $fd_{B \otimes_A B}(B) < \infty$ (according to [Corollary 2][1]), but I expect a more specific answer involving $h$.

This question appears as a question in a comment [here][2].


  [1]: http://link.springer.com/article/10.1007%2FBF02566621#page-1
  [2]: http://math.stackexchange.com/questions/1418584/formal-smoothness-of-a-to-at-h/1419281#comment2893539_1419281