Can anyone provide any links that show how to draw this type of conditions?
In addition to what Observer said, use a opt fragment AND a ref fragment inside.
This way you have a 1-1 relationship between your use cases and your sequence diagrams, which is usually clearer.
See for example this picture : http://www.ibm.com/developerworks/rational/library/content/RationalEdge/feb04/3101_figure11.jpg