/* Tactic: BJ*/

\tbegin
\ttactic BJ(PID,\langle Diff,Sd \rangle, \langle Int,Si \rangle ,\langle Sp,Sum \rangle)  \def

 \ttactic BJST1(\langle Diff,Sd \rangle, \langle Int,Si \rangle ,\langle Sp,Sum \rangle) \tsemi \ttactic BJST2(\langle Diff,Sd \rangle, \langle Int,Si \rangle ,\langle Sp,Sum \rangle)
 \tsemi \ttactic BJST3(\langle Diff,Sd \rangle, \langle Int,Si \rangle ,\langle Sp,Sum \rangle) 
 \tsemi \ttactic BJST4(PID,\langle Diff,Sd \rangle, \langle Int,Si \rangle ,\langle Sp,Sum \rangle) 

\tend

